Optimising Compilation
نویسندگان
چکیده
This lecture considers the optimisation of functional programming languages (particularlyìazy' languages) based on`strictness analysis'. Such optimisations alter evaluation order to allow more eecient translation into von Neumann architecture or to increase the parallelism in a sequentially speciied system (such as that implied by lazy-semantics).
منابع مشابه
Proxy compilation for Java via a code migration technique
There is an increasing trend that intermediate representations (IRs) are used to deliver programs in more and more languages, such as Java. Although Java can provide many advantages, including a wider portability and better optimisation opportunities on execution, it introduces extra overhead by requiring an IR translation for the program execution. For maximum execution performance, an optimis...
متن کاملOptimising Compilation Part I: Classical Imperative Languages
This tutorial considers the design of modern machine-independent optimising compilers for classical (C-like) languages. We draw from two sources (1) the literature and lectures by the authors at Cambridge and (2) thèNorcroft' compiler suite 1 jointly constructed by the authors.
متن کاملOptimising the compilation of Petri net models
Compilation of a Petri net model is one way to accelerate its analysis through state space exploration. In this approach, code to explore the Petri net states is generated, which avoids the use of a fixed exploration tool involving an interpretation of the Petri net structure. In this paper, we present a code generation framework for coloured Petri nets targeting various languages (Python, C an...
متن کاملOptimising Compilers for Embedded Applications ?
This paper presents an overview of the activities carried out within the second year of the ESPRIT project OCEANS whose objective is to investigate and develop advanced compiler infrastructure for embedded VLIW processors. This combines high and low-level optimisation approaches within an iterative framework for compilation. In this paper we discuss the approach to iterative compilation adopted...
متن کاملNew optimising feature in SPICE
The field of optimisation is still not appropriately covered in modern computer programs for circuit analysis as SPICE, which was originally developed at the University of California at Berkeley. The last official release of SPICE was published in 1992 and includes interactive interpreter language called Nutmeg, which is at first glance very convenient for coding optimisation loops. But it turn...
متن کامل